電子計算機とは② チェック計算――コンピュータの使い方をめぐる軽妙なダイアローグ